Category Bit Vectors
Top Packages
Packages that have the most dependencies to them from other packages in this category.
Top Paired Categories
Categories that are often combined with this category.
- Data 36652
- Data Structures 12226
- Math 3075
- Formal Methods 116
- Theorem Provers 77
- Smt 34
- Symbolic Computation 23